cfg to cnf